package model.preprocessor;

/**
 * Status of a preprocessor execution.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public enum PreProcessorResultStatus {
	TIMEOUT_REACHED ("Problem : timeout has been reached"), OK ("OK : preprocessing completed"), PROBLEM (
			"Error : a probleme occured during the preprocessing"), UNSATISFIABLE ("The CNF is unsatisfiable !"), SATISFIABLE (
			"The CNF is satisfiable !"), STOP ("The execution has been stop");

	/**
	 * 
	 * @return a description of the status.
	 */
	public String getDescription() {
		return description;
	}

	private String	description;

	private PreProcessorResultStatus(String description) {
		this.description = description;
	}

}
